Dirichlet's approximation theorem